Synthèse d’implantations multi-thread concurrentes à partir de programmes multi-horloges

نویسندگان

  • Virginia Papailiopoulou
  • Jean-Pierre Talpin
  • Robert de Simone
  • Loïc Besnard
چکیده

We present a new technique for the concurrent asynchronous/GALS implementation of polychronous specifications. We start from programs written in multi-clock languages such as Signal/Polychrony or Esterel. We provide compact data structures and corresponding algorithms for program analysis, following the theory of weakly endochronous systems. Finally, we produce multi-threaded deterministic asynchronous/GALS implementations that retain as much as possible of the concurrency of the initial specification. This paper has been partially supported by the French ANR project HELP (ANR-09-SEGI-006). Key-words: endochrony, synchrony, multi-clock, asynchronous implementation in ria -0 05 78 58 5, v er si on 2 11 J ul 2 01 1 Synthèse d’implantations multi-thread concurrentes à partir de programmes multi-horloges3

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vers La Synthèse Automatique De Circuits À Partir De Graphes Algorithmiques Factorisés

RESUME. On présente dans cet article les principes permettant de synthétiser le circuit correspondant à une spécification algorithmique faite à l’aide d’un modèle de graphe de dépendances factorisé. Ce dernier est transformé en un graphe matériel comprenant les chemins de données et de contrôle, en suivant des règles simples de synthèse basées sur le modèle RTL et des mécanismes de transferts d...

متن کامل

A Framework for Parallel Programming in JAVA

To ease the task of programming parallel and distributed applications, the Do! project aims at the automatic generation of distributed code from multi-threaded Java programs. We provide a parallel programming model, embedded in a framework that constraints parallelism without any extension to the Java language. This framework is described here and is used as a basis to generate distributed prog...

متن کامل

Estimation de la réflectance à partir de données multi-vues

We introduce a variational framework for separating shading and reflectance from a series of images acquired under different angles, when the geometry has already been estimated by multi-view stereo. Our formulation uses an l-TV variational framework, where a robust photometricbased data term enforces adequation to the images, total variation ensures piecewise-smoothness of the reflectance, and...

متن کامل

Vers un outil de co-construction d’ontologies à partir de textes à l’aide d’un système multi-agent adaptatif

Manual ontology engineering and maintenance is a difficult task that requires significant effort from the ontologist to identify and structure domain knowledge. Automatic ontology learning makes this task easier, especially through the use of text and natural language processing tools. In this paper, we present DYNAMO, a tool based on an Adaptive Multi-Agent System (AMAS), which aims at assisti...

متن کامل

Mémoire d’Habilitation à Diriger des Recherches (HDR) de Bertrand Thirion: Méthodes structurales et probabilistes pour l’analyse de groupe en neuroimagerie fonctionnelle

4 Building a functional brain template (a) 65 4. 6 Modelling and understanding inter-subject variability 103 6. 7 Conclusion: Databasing the brain 119 7.1 Population-level analyses, databasing and knowledge management in neuroimaging. .. . 119 7.2 Object-oriented and ontology-based analysis framework are necessary to model multi-partir de données d'IRM anatomiques et fonctionnelles (MRI/fMRI), ...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011